Message du Président

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Ecole Normale Supérieure de Cachan 61 , avenue du Président Wilson 94235 Cachan Cedex France

Well-structured transition systems (WSTS's) are a general class of innnite state systems for which decidability results rely on the existence of a well-quasi-ordering between states that is compatible with the transitions. In this article, we provide an extensive treatment of the WSTS idea and show several new results. Our improved deenitions allow many examples of classical systems to be seen ...

متن کامل

Président Slim HAMMADI, Professeur, Ecole Centrale de Lille

Président Slim HAMMADI, Professeur, Ecole Centrale de Lille Rapporteur Alain QUILLIOT, Professeur, Université Blaise Pascal, Clermont-Ferrand, Rapporteur Aziz MOUKRIM, Professeur, Université de Technologie de Compiègne Membre Bernard DESCOTES-GENON, Professeur, Université Joseph Fourier, Grenoble Membre Abdelhakim ARTIBA, Professeur, Université de Valenciennes et du Hainaut -Cambrésis Directeur...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal des traducteurs

سال: 1956

ISSN: 0316-3024,2562-2994

DOI: 10.7202/1057544ar